\documentclass{llncs}

\usepackage{ifthen}
\usepackage{amssymb}
\usepackage{xcolor,xspace}
\usepackage{hyperref}
\usepackage{url}
\usepackage{pdfpages}

\newboolean{showcomments}
\setboolean{showcomments}{true} % toggle to show or hide comments
\ifthenelse{\boolean{showcomments}}
  {\newcommand{\nb}[2]{
    \fcolorbox{gray}{yellow}{\bfseries\sffamily\scriptsize#1}
    {$\blacktriangleright$#2$\blacktriangleleft$}
   }
   \newcommand{\version}{\emph{\scriptsize$-$working$-$}}
  }
  {\newcommand{\nb}[2]{}
   \newcommand{\version}{}
  }

\newcommand\moussa[1]{\nb{Moussa}{\textsl{#1}}}
\newcommand\leen[1]{\nb{Leen}{\textsl{#1}}}
\newcommand\eugene[1]{\nb{Eugene}{\textsl{#1}}}
\newcommand\manuel[1]{\nb{Manuel}{\textsl{#1}}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Standard shortcuts
\newcommand{\eg}{\emph{e.g.,~}}							% exempli gratia (for the sake of example)
\newcommand{\ie}{\emph{i.e.,~}}							% id est (that is)
\newcommand{\etal}{~\emph{et al.}}					% et alia (and others)
\newcommand{\Fig}[1][Figure]{#1~}  					% choose Fig. or Figure, depending on the style
\newcommand{\Sect}[1][Section]{#1~}					% section name always with a capital S
\newcommand{\Model}[1]{\textsf{#1}}					% name of any modeling artifact (e.g., formalism, model element, rule, ...)
\newcommand{\Code}[1]{\texttt{\small{#1}}}	% inline code
\providecommand{\e}[1]{\ensuremath{\times 10^{#1}}}	% scientific notation: x.10^y
\newcommand{\VOLT}{\textsc{VolT}\xspace}
\newcommand{\MDD}{\textsc{Mdd}\xspace}
\newcommand{\MDE}{\textsc{Mde}\xspace}
\newcommand{\STAF}{\textsc{Staf}\xspace}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\begin{document}

\mainmatter  % start of an individual contribution


\title{Verification Of Model Transformations\\
        VOLT 2014}

\author{Moussa Amrani\inst{1}, Eugene Syriani\inst{2}, and Manuel Wimmer\inst{3}}

\institute{
University of Luxembourg\\
\email{moussa.amrani@uni.lu}
\and
University of Alabama, U.S.A.\\
\email{esyriani@cs.ua.edu}
\and
Vienna University of Technology, Austria\\
\email{wimmer@big.tuwien.ac.at}
}

\maketitle

\begin{abstract}
\input{Summary}
\end{abstract}


\input{Theme}
\input{Contacts}
\input{Procedure}

\bibliographystyle{splncs03}
\bibliography{bibliography}

\includepdf[pages={1-3}]{CfP.pdf}

\end{document}
